English Adjective rounded down #mathematics of a real number, converted to an integer by having it's fractional component removed
See also rounded up